-
1 implicative form
Математика: импликативная форма -
2 implicative form
мат. -
3 form
1) анкета; бланк2) вид; форма || придавать вид или форму3) контур; очертание4) конфигурация6) строит. опалубка; элемент опалубки7) скамейка, лавочка8) формуляр9) составлять; образовывать10) формироваться•calculation in a series form — матем. вычисление с помощью ряда
evaluation of indeterminate form — матем. раскрытие неопределённости
fraction in a factored form — матем. дробь в форме разложения на множители
in an expanded form — в виде ряда; в развёрнутом виде
integration in a closed form — матем. интегрирование в конечном виде
of closed form — матем. в конечном виде, с конечным числом членов
preparation of type form — полигр. чернение набора
reduction to a normal form — матем. приведение к нормальной форме
to bring into a canonical form — матем. приводить к канонической форме; приводить к каноническому виду
to form a circle — замыкаться в кольцо; образовывать кольцо
to rearrange in the form — переписывать в виде; преобразовывать к виду ( об уравнениях)
- absolutely convergent form - absolutely extreme form - definite form - elementary form - elimination form of inverse - everywhere regular form - evolutionary operation form - geodesic curvature form - indefinite form - p-adically equivalent form - relatively bounded form - repair request form - third fundamental form - totally definite form - totally discontinuous formto take on a form — принимать форму; принимать вид
-
4 form
1. n форма; внешний вид; очертаниеnormalized form — нормализованная форма; нормализованный вид
analytic form — аналитическая форма; аналитическое выражение
2. n фигураwell-proportioned form — пропорциональное сложение, хорошая фигура
3. n обличьеProteus was able to appear in the form of any animal — Протей мог являться в обличье любого животного
4. n стать5. n форма, вид6. n вид, разновидность; тип7. n стиль, манераbad form — невоспитанность, вульгарность, плохие манеры
8. n состояние; форма; готовность9. n настроение, душевное состояние10. n формальность; проформа11. n церемония, порядок12. n установившаяся форма выражения; формулаconjuctive normal form — конъюктивная нормальная форма; КНФ
13. n класс14. n форма, бланк, образец; анкета15. n нора16. n грам. форма словаsnap-apart business form — «отрывная» конторская форма
17. n спец. форма исполнения18. n спец. модель, тип, образец; торговый сорт19. n спец. тех. форма для литья20. n спец. полигр. печатная форма21. n спец. стр. форма; опалубка22. n спец. выражение23. v придавать форму, вид24. v принимать форму, вид25. v составлять, образовывать; формировать26. v образовываться; формироваться27. v грам. образовывать28. v создавать, составлять; формулировать29. v возникать, оформляться30. v представлять собой; являтьсяchocolate forms a wholesome substitute for staple food — шоколад является полноценным заменителем основных продуктов питания
31. v тренировать, дисциплинировать; воспитывать; развивать32. v формировать, организовывать; образовывать, создавать33. v воен. строить34. v воен. строиться35. v спец. формовать36. v спец. сад. обрезать, подвергать обрезке; формировать кронузабираться, забиваться в нору
to form and display an intention — сформировать и обнаружить намерение, умысел
Синонимический ряд:1. appearance (noun) appearance; body; build; cast; configuration; conformation; cut; figure; format; framework; matrix; plan; shape; structure; style2. business form (noun) application; blank; business form; document; duplicate; paper; questionnaire; report3. ceremony (noun) ceremonial; ceremony; conformity; formality; liturgy; rite; ritual; rule4. convenance (noun) convenance; convention; usage5. formula (noun) approach; formula; method; mode; practice; procedure; system6. group (noun) assemblage; group; organisation; organization7. kind (noun) arrangement; kind; manner; sort; type8. model (noun) model; mold; mould; pattern9. order (noun) condition; fitness; order; trim10. acquire (verb) acquire; contract; develop11. arrange (verb) arrange; combine; dispose; order; organise; organize; systematise; systematize12. cast (verb) carve; cast; chisel; construct; contrive; design; devise; fashion; frame; mold; pattern13. make (verb) assemble; build; compose; comprise; constitute; create; erect; fabricate; forge; invent; make; make up; manufacture; originate; produce; put together; shape14. model (verb) model; mould; shape15. teach (verb) discipline; educate; instruct; rear; teach; trainАнтонимический ряд:damage; defacement; deform; deformity; demolish; derange; destroy; devastate; disarrange; disintegrate; dislocate; dismantle; dismember -
5 form
1. форма; вид; очертание2. формуляр; бланк; форма3. формат4. оригинал5. конторская форма; формуляр; бланк6. форма для печатания деловых бумагcarbon-interleaved forms — конторские формы, переложенные копировальной бумагой
casting form — изложница, литейная форма
7. «бесконечная» форма; формы, смонтированные на бесконечной ленте8. бесконечная конторская форма, бесконечный формулярcontinuous stationary business form — бесконечная конторская форма, бесконечный формуляр
normalized form — нормализованная форма; нормализованный вид
analytic form — аналитическая форма; аналитическое выражение
9. круглый стереотип10. изогнутая печатная формаcustom form — формуляр, изготовленный на заказ
conjuctive normal form — конъюктивная нормальная форма; КНФ
11. клише12. страница13. листовая бумага14. смешанная печатная формаdressed form — форма после обкладки; форма, готовая к заключке
first form — форма, включающая первую страницу листа
ganged form — сборная форма; форма, состоящая из нескольких самостоятельных изображений
inked form — форма, несущая слой краски
15. текстовая форма16. графическая форма буквыnaked form — полоса набора, освобождённая от пробельного материала
outside form — тетрадь, получаемая при фальцовке двух листов последовательно один за другим
round form — круглая печатная форма, круглый стереотип
sheetwise form — сфальцованная тетрадь, получаемая при альбомном варианте раскладки
snap-apart business form — «отрывная» конторская форма
spot carbonized form — конторская форма с копировальным слоем, нанесёнными на отдельные её участки
test form — тест-форма, пробная форма
17. текстовая печатная форма18. начертание шрифта -
6 form
1) форма || формировать, образовывать2) (экранный) бланк, формуляр4) матем. выражение•- form the instruction- accounting form
- analog form
- analytic form
- archive form
- Backus normal form
- Backus-Naur form
- binary quadratic form
- canonical form
- coding form
- common machine-readable form
- conjuctive normal form
- cut form
- data collection form
- description form
- digital form
- disjunctive normal form
- E form
- elemental form
- entry form
- excess form
- exponent form
- exponent-plus N form
- fanfold forms
- full conjunctive normal form
- full disjunctive normal form
- graphical form
- graphic form
- implicative normal form
- internal form
- irredundant form
- linear form
- machine-processible form
- minterm form
- name form
- nested form
- normal form
- normalized form
- plain-text form
- polyadic form
- prenex form
- quadratic form
- sentencial form
- standard form
- state-space form
- true form
- two-level formEnglish-Russian dictionary of computer science and programming > form
-
7 implicative normal form
normalized form — нормализованная форма; нормализованный вид
analytic form — аналитическая форма; аналитическое выражение
-
8 implicative normal form
Логика: импликативная нормальная формаУниверсальный англо-русский словарь > implicative normal form
-
9 implicative normal form
лог. импликативная нормальная формаEnglish-Russian dictionary of computer science and programming > implicative normal form
-
10 implicative normal form
English-Russian information technology > implicative normal form
-
11 импликативная форма
implicative form мат.Русско-английский научно-технический словарь Масловского > импликативная форма
-
12 импликативная форма
1) Mathematics: implicative form, implicatur2) Information technology: implicatureУниверсальный русско-английский словарь > импликативная форма
-
13 импликативная нормальная форма
формореал, реал для форм — forme rack
Русско-английский большой базовый словарь > импликативная нормальная форма
-
14 импликативная нормальная форма
Русско-английский словарь по вычислительной технике и программированию > импликативная нормальная форма
-
15 normal
1. n нормальное состояние2. n нормальный, стандартный тип, образец, размер3. n хим. нормальный растворconjuctive normal form — конъюктивная нормальная форма; КНФ
4. n мат. нормаль, перпендикуляр5. n метеор. среднее многолетнее значение параметраnormal annual runoff — средний многолетний сток, норма стока
6. n мед. нормальная температура7. n текст. полушерстяной трикотаж8. a нормальный, обыкновенный; обычный9. a психически нормальный10. a стандартный, нормальный; типовой11. a средний12. a плановый; расчётный13. a мат. перпендикулярный; нормальныйnormal cross-section — поперечное сечение, сечение, перпендикулярное оси
normal charge condition — "батарея нормально заряжена"
14. a стат. имеющий нормальное распределениеСинонимический ряд:1. healthy (adj.) healthy; in good health; sound; whole2. routine (adj.) methodical; orderly; regular; routine3. sane (adj.) all there; compos mentis; lucid; rational; reasonable; right; right-minded; sane; wholesome4. usual (adj.) average; common; commonplace; customary; general; matter-of-course; natural; ordinary; prevalent; run-of-the-mill; standard; traditional; typic; typical; usualАнтонимический ряд: -
16 импликативная нормальная форма
Большой англо-русский и русско-английский словарь > импликативная нормальная форма
-
17 импликативная нормальная форма
Logics: implicative normal formУниверсальный русско-английский словарь > импликативная нормальная форма
См. также в других словарях:
2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… … Wikipedia
Robert T. Craig (scholar) — Robert T. Craig Robert T. Craig Full name Robert T. Craig Born May 10, 1947 Rochester, New York Era 20th 21st century Region Midw … Wikipedia
Implication-Realization — The Implication Realization (I R) model of melodic expectation was developed by Eugene Narmour as an alternative to Schenkerian analysis centered less on music analysis and more on cognitive aspects of expectation. The model is one of the most… … Wikipedia
Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… … Wikipedia
symphony — /sim feuh nee/, n., pl. symphonies. 1. Music. a. an elaborate instrumental composition in three or more movements, similar in form to a sonata but written for an orchestra and usually of far grander proportions and more varied elements. b. an… … Universalium
Thoralf Skolem — Infobox Scientist name = Thoralf Skolem birth date = birth date|1887|5|23|mf=y birth place = Sandsvaer, Buskerud, Norway residence = nationality = death date = death date and age|1963|3|23|1887|5|23|mf=y death place = Oslo, Norway field =… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
UNITED STATES LITERATURE — The Influence of the Bible and Hebrew Culture The Jewish influence on American literary expression predated the actual arrival of Jews in the United States in 1654, for the Puritan culture of New England was marked from the outset by a deep… … Encyclopedia of Judaism
Contraposition (traditional logic) — In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality… … Wikipedia
leading — I (guiding) adjective controlling, directing, implicational, implicative, implicatory, inferential, insinuating, insinuative, instructional, instructive, referential, regulating, steering, suggestive, supervising, supervisory associated concepts … Law dictionary